Mikrokosmos: an educational lambda calculus interpreter
نویسندگان
چکیده
منابع مشابه
Implementing distributed {\lambda}-calculus interpreter
This paper describes how one can implement distributed λ-calculus interpreter from scratch. At first, we describe how to implement a monadic parser, than the Krivine Machine is introduced for the interpretation part and as for distribution, the actor model is used. In this work we are not providing general solution for parallelism, but we consider particular patterns, which always can be parall...
متن کاملA Interpreter for Extended Lambda Calculus
Inspired by ACTORS [7, 17], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [2], but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. We wish to: 1. alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc., by clarifying the embedding of non-recursive control structur...
متن کاملInfinitary Lambda Calculus Innnitary Lambda Calculus
In a previous paper we have established the theory of transsnite reduction for orthogonal term rewriting systems. In this paper we perform the same task for the lambda calculus. From the viewpoint of innnitary rewriting, the BB ohm model of the lambda calculus can be seen as an innnitary term model. In contrast to term rewriting, there are several diierent possible notions of innnite term, whic...
متن کاملAn Introduction to the Clocked Lambda Calculus
We give a brief introduction to the clocked λ-calculus, an extension of the classical λ-calculus with a unary symbol τ used to witness the β-steps. In contrast to the classical λ-calculus, this extension is infinitary strongly normalising and infinitary confluent. The infinitary normal forms are enriched Lévy–Longo Trees, which we call clocked Lévy–Longo Trees. 1998 ACM Subject Classification D...
متن کاملModels of the Lambda Calculus: An Introduction
The λ -calculus is a symbolic formalism for describing and calculating with functions. To give meaning to expressions in the λ -calculus they must be interpreted in terms of standard mathematical objects such as sets and functions. Each such interpretation is called a model of the λ -calculus. Because the concept of function embodied in the λ -calculus is very general—for example, a λ -calculus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Open Source Education
سال: 2018
ISSN: 2577-3569
DOI: 10.21105/jose.00029